Specification-based CSV Support in VDM

CSV is a widely used format for data representing systems control, information exchange and processing, logging, etc. Nevertheless, the format is riddled with tricky corner cases and inconsistencies, which can make input data unreliable, thus, rendering modelling or simulation experiments unusable or unsafe. We address this problem by providing a SAFE-CSV VDM-library that is: Simple, Accurate, Fast, and Effective. It extends an ecosystem of other VDM mathematical toolkit extensions, which also includes a translation and proof environment for VDM in IsabelleComment: 12 pages, 2 figures, submitted to 21st Overture worksho

Engineering adaptive user interfaces using monitoring-oriented programming

User interfaces which adapt based on usage patterns, for example based on frequency of use of certain features, have been proposed as a means of limiting the complexity of the user interface without specialising it unnecessarily to particular user profiles. However, from a software engineering perspective, adaptive user interfaces pose a challenge in code structuring, and separation of the different layers of user interface and application state and logic can introduce interdependencies which make software development and maintenance more challenging. In this paper we explore the use of monitoring-oriented programming to add adaptive features to user interfaces, an approach which has been touted as a means of separating certain layers of logic from the main system. We evaluate the approach both using standard software engineering measures and also through a user acceptance experiment - by having a number of developers use the proposed approach to add adaptation logic to an existing application.peer-reviewe

Persufflation—Current State of Play

With the ever-increasing disparity between the number of patients waiting for organ transplants and the number organs available, some patients are unable to receive life-saving transplantation in time. The present, widely-used form of preservation is proving to be incapable of maintaining organ quality during long periods of preservation and meeting the needs of an ever-changing legislative and transplantation landscape. This has led to the need for improved preservation techniques. One such technique that has been extensively researched is gaseous oxygen perfusion or Persufflation (PSF). This method discovered in the early 20th century has shown promise in providing both longer term preservation and organ reconditioning capabilities for multiple organs including the liver, kidneys, and pancreas. PSF utilises the organs own vascular network to provide oxygen to the organ tissue and maintain metabolism during preservation to avoid hypoxic damage. This review delves into the history of this technique, its multiple different approaches and uses, as well as in-depth discussion of work published in the past 15 years. Finally, we discuss exciting commercial developments which may help unlock the potential for this technique to be applied at scale